-- Two Methods with same name
    DEF def(X:nat, Y:nat):nat == 0
    DEF MAIN:nat == def(1,2,3)
    DEF def1():nat == def
